x11: Don't emit GDK_NOTHING events

They are good for nothing.

diff --git a/gdk/x11/gdkeventsource.c b/gdk/x11/gdkeventsource.c
index 5f85a0b7b086495383661028f70fead4d187757a..25c68c3a3ecdf09ec49b92e062678d3d96e66717 100644 (file)
--- a/gdk/x11/gdkeventsource.c
+++ b/gdk/x11/gdkeventsource.c
@@ -305,6 +305,12 @@ gdk_event_source_translate_event (GdkX11Display  *x11_display,
         }
     }
 
+  if (event &&
+      event->any.type == GDK_NOTHING)
+    {
+      g_clear_object (&event);
+    }
+
   if (event &&
       (event->any.type == GDK_ENTER_NOTIFY ||
        event->any.type == GDK_LEAVE_NOTIFY) &&